package Leetcode.树;

/**
 * @Author: kirito
 * @Date: 2024/3/3 20:48
 * @Description:
 * 给你一个二叉树的根节点 root ，判断其是否是一个有效的二叉搜索树。
 *
 * 有效 二叉搜索树定义如下：
 *
 * 节点的左子树只包含 小于 当前节点的数。
 * 节点的右子树只包含 大于 当前节点的数。
 * 所有左子树和右子树自身必须也是二叉搜索树。
 */

public class 验证二叉搜索树 {
    /**
     * 树中节点数目范围在[1, 104] 内
     * -231 <= Node.val <= 231 - 1
     * @param root
     * @return
     */
    public boolean isValidBST(TreeNode root) {
        return isValidBST(root, Long.MIN_VALUE, Long.MAX_VALUE);
    }

    public boolean isValidBST(TreeNode node, long lower, long upper) {
        if (node == null) {
            return true;
        }
        if (node.val <= lower || node.val >= upper) {
            return false;
        }
        return isValidBST(node.left, lower, node.val) && isValidBST(node.right, node.val, upper);
    }
    // 辅助函数，用于递归检查是否为BST  顺序存储
    private static boolean isBST(int[] tree, int index, int min, int max) {
        // 如果当前节点为空，返回true
        if (index < 0|| index > tree.length - 1 || tree[index] == -1 ) {
            return true;
        }

        // 如果当前节点的值不在(min, max)范围内，返回false
        if (tree[index] <= min || tree[index] >= max) {
            return false;
        }

        // 递归检查左子树和右子树
        // 对于左子树，新的范围是(min, 当前节点值)
        // 对于右子树，新的范围是(当前节点值, max)
        // 计算左子树和右子树的索引
        int leftIndex = 2 * index + 1;
        int rightIndex = 2 * index + 2;

        // 递归检查左子树和右子树
        return isBST(tree, leftIndex, min, tree[index])
                && isBST(tree, rightIndex, tree[index], max);
    }
    public static void main(String[] args) {
        int[] tree = {40, 25, 60, -1, 30, -1, 80, -1, -1, 27}; // 示例二叉树，根节点在索引0
        System.out.println(isBST(tree, 0, Integer.MIN_VALUE, Integer.MAX_VALUE));
    }
}
